Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
781	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming
782	Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-12-16 08:35:37 Cybernetics Mathematical optimization NP-complete problems Formal methods Algorithm Genetic algorithm Ant colony optimization algorithms Evolutionary algorithm Computational complexity theory Applied mathematics Mathematics Theoretical computer science
783	Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio Add to Reading List Source URL: coregrid.ercim.eu Language: English - Date: 2008-09-24 04:08:10 Formal methods Logic in computer science Formal sciences Cybernetics Formal verification Theoretical computer science Model checking Modal logic Deontic logic Logic Mathematical logic Applied mathematics
784	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
785	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
786	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
787	Learning with Compositional Semantics as Structural Inference for Subsentential Sentiment Analysis Yejin Choi and Claire Cardie Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: blog.appinions.com Language: English - Date: 2014-10-31 15:21:37 Computational linguistics Grammar Natural language processing Semantics Formal languages Polarity item Sentiment analysis Heuristic English language Languages of Africa Languages of Oceania Culture
788	Big Possibilities! We make ICT strategies work 1 Add to Reading List Source URL: www.t-systems.cn Language: English - Date: 2013-12-18 22:26:20 Formal sciences Business intelligence Database management systems Data analysis Emerging technologies Big data Analytics Detecon Text mining Data management Technology Science
789	Formal Certification of Game-Based Cryptographic Proofs Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain INRIA Sophia Antipolis - M´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptology Cryptography ProVerif Knowledge Science Mathematical sciences Cryptanalysis
790	A Point of View Storytelling is the Last Mile in Big Data and Analytics XX \| Stories are the Last Mile in Big Data Add to Reading List Source URL: www.narrativescience.com Language: English - Date: 2015-05-11 19:15:44 Technology Business intelligence Intelligence Data mining Visualization Analytics Big data Business analytics Web analytics Formal sciences Data management Science

UPDATE